Intro Proof 4 Colour Map Theorem